Self-checking Standard ML compiler, uses Typed Intermediate Languages; while compiling, types are translated with code, type-checking occurs to check compile results; funded by NSF. Descriptions, license, mail list, downloads, links. Carnegie Mellon.
SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, contacts. [Open Source, Lucent]
TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) that uses types throughout compiling to emit better code without losing safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, peo...
Framework for customizable, retargetable and optimizing compiler back ends, written in Standard ML. Successfully retargeted to many architectures. Deals elegantly with special requirements imposed by execution model of different high-level, typed lang...